﻿% Dạng 4.2.4  có phải {con vật} thuộc lớp {thông tin về lớp}?


cau_hoi(cau_hoi(NV,TT,DH)) --> tu_nghi_van1(NV) , thong_tin(TT) , dau_hoi(DH).

thong_tin(thong_tin(DTTT,DT,TL,TT)) --> doi_tuong_thong_tin1(DTTT), dong_tu(DT), tu_lop(TL), doi_tuong_thong_tin2(TT) ,tu_nghi_van2(TBT).

tu_nghi_van1(tu_nghi_van1(có_phải)) --> [có,phải].

doi_tuong_thong_tin1(doi_tuong_thong_tin1(X)) --> [X].

doi_tuong_thong_tin1(doi_tuong_thong_tin1(X)) --> [con,X].

dong_tu(dong_tu(thuộc)) --> [thuộc].

tu_lop(tu_lop(lớp)) --> [lớp].

doi_tuong_thong_tin2(doi_tuong_thong_tin2(X)) --> [X].

tu_nghi_van2(tu_nghi_van2(không)) --> [không].

dau_hoi(dau_hoi(?)) --> [?].